Reverse mathematics and initial intervals

نویسندگان

  • Emanuele Frittaion
  • Alberto Marcone
چکیده

In this paper we study the reverse mathematics of two theorems by Bonnet about partial orders. These results concern the structure and cardinality of the collection of the initial intervals. The first theorem states that a partial order has no infinite antichains if and only if its initial intervals are finite unions of ideals. The second one asserts that a countable partial order is scattered and does not contain infinite antichains if and only if it has countably many initial intervals. We show that the left to right directions of these theorems are equivalent with ACA0 and ATR0, respectively. On the other hand, the opposite directions are both provable in WKL0, but not in RCA0. We also prove the equivalence with ACA0 of the following result of Erdös and Tarski: a partial order with no infinite strong antichains has no arbitrarily large finite strong antichains.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dynamics of higher order rational difference equation $x_{n+1}=(alpha+beta x_{n})/(A + Bx_{n}+ Cx_{n-k})$

The main goal of this paper is to investigate the periodic character, invariant intervals, oscillation and global stability and other new results of all positive solutions of the equation$$x_{n+1}=frac{alpha+beta x_{n}}{A + Bx_{n}+ Cx_{n-k}},~~ n=0,1,2,ldots,$$where the parameters $alpha$, $beta$, $A$, $B$ and $C$ are positive, and the initial conditions $x_{-k},x_{-k+1},ldots,x_{-1},x_{0}$ are...

متن کامل

Vanishing Waves on Closed Intervals and Propagating Short-Range Phenomena

This study presents mathematical aspects of wave equation considered on closed space intervals. It is shown that a solution of this equation can be represented by a certain superposition of traveling waves with null values for the amplitude and for the time derivatives of the resulting wave in the endpoints of this interval. Supplementary aspects connected with the possible existence of initial...

متن کامل

‎Solving Some Initial-Boundary Value Problems Including Non-classical ‎C‎ases of Heat Equation By Spectral and Countour Integral ‎Methods‎

In this paper, we consider some initial-boundary value problems which contain one-dimensional heat equation in non-classical case. For this problem, we can not use the classical methods such as Fourier, Laplace transformation and Fourier-Birkhoff methods. Because the eigenvalues of their spectral problems are not strictly and they are repeated or we have no eigenvalue. The presentation of the s...

متن کامل

On a New Reverse Hilbert\'s Type Inequality

In this paper, by using the Euler-Maclaurin expansion for the Riemann-$zeta$ function, we establish an inequality of a weight coefficient. Using this inequality, we derive a new reverse Hilbert's type inequality. As an applications, an equivalent form is obtained.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 165  شماره 

صفحات  -

تاریخ انتشار 2014